- reduction to normal form
- приведение к нормальной форме
Англо-русский словарь по вычислительной технике и информационным технологиям - 4-е изд.. Сергей Орлов .
Англо-русский словарь по вычислительной технике и информационным технологиям - 4-е изд.. Сергей Орлов .
Normal form (abstract rewriting) — In abstract rewriting, a normal form is an element of the system which cannot be rewritten any further. Stated formally, for some reduction relation ⋅ → ⋅ over X a term t in X is a normal form if there does not exist a term t′ in X such … Wikipedia
Normal form (term rewriting) — In considering rewriting systems, a normal form is an element of the system which cannot be rewritten any further. Consider the basic term rewriting system with reduction rule ρ : g ( x , y ) → x . The term g ( g (4, 2), g (3, 1)) has the… … Wikipedia
Beta normal form — In the lambda calculus, a term is in beta normal form if no beta reduction is possible. A term is in beta eta normal form if neither a beta reduction nor an eta reduction is possible. A term is in head normal form if there is no beta redex in… … Wikipedia
Jordan normal form — In linear algebra, a Jordan normal form (often called Jordan canonical form)[1] of a linear operator on a finite dimensional vector space is an upper triangular matrix of a particular form called Jordan matrix, representing the operator on some… … Wikipedia
Administrative normal form — In computer science, administrative normal form (abbreviated ANF) is a canonical form of programs, which was introduced by Flanagan et al 1993 to serve as an intermediate representation in functional compilers to make subsequent transformations… … Wikipedia
Reduction system — In mathematics, a reduction system is a system where terms can be re written by using a finte list of rewriting rules.Examples of reduction systems include string rewriting systems, term rewriting systems, lambda calculus under lambda conversion … Wikipedia
Reduction (orthopedic surgery) — Intervention ICD 9 CM 79 Reduction is a medical procedure to restore a fracture or dislocation to the correct alignment. When a bone fractures, the fragments lose their alignment in the form of displacement or an … Wikipedia
Reduction potential — (also known as redox potential, oxidation / reduction potential, ORP or Eh) is a measure of the tendency of a chemical species to acquire electrons and thereby be reduced. Reduction potential is measured in volts (V), or millivolts (mV). Each… … Wikipedia
Canonical form — Generally, in mathematics, a canonical form (often called normal form or standard form) of an object is a standard way of presenting that object. Canonical form can also mean a differential form that is defined in a natural (canonical) way; see… … Wikipedia
Dolby noise-reduction system — A Dolby 361 A type noise reduction module Dolby NR is the name given to a series of noise reduction systems developed by Dolby Laboratories for use in analog magnetic tape recording. The first was Dolby A, a professional broadband noise reduction … Wikipedia
Dolby noise reduction system — Dolby NR is the name given to a series of noise reduction systems developed by Dolby Laboratories for use in analogue magnetic tape recording. The first was Dolby A professional noise reduction for recording studios in 1966, but the best known is … Wikipedia